6

Solving weighted CSP by maintaining arc consistency

Year:
2004
Language:
english
File:
PDF, 353 KB
english, 2004
7

Unifying tree decompositions for reasoning in graphical models

Year:
2005
Language:
english
File:
PDF, 347 KB
english, 2005
8

Maintaining reversible DAC for Max-CSP

Year:
1999
Language:
english
File:
PDF, 1000 KB
english, 1999
10

A logical approach to efficient Max-SAT solving

Year:
2008
Language:
english
File:
PDF, 470 KB
english, 2008
14

Intelligent variable orderings and re-orderings in DAC-based solvers for WCSP

Year:
2006
Language:
english
File:
PDF, 524 KB
english, 2006
15

Partition-Based Lower Bound for Max-CSP

Year:
2002
Language:
english
File:
PDF, 403 KB
english, 2002
26

A Framework for Abductive Rule Formation

Year:
1995
File:
PDF, 1.56 MB
1995
32

Bucket elimination for multiobjective optimization problems

Year:
2006
Language:
english
File:
PDF, 837 KB
english, 2006